[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 133 93 95 166 108 428 129 279

N.S.

1 0.93 0.65 0.66 1.16 0.76 2.99 0.90 1.95

time (sec)

N/A 0.706 0.444 7.216 0.208 0.285 0.270 0.335 2.793

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 126 96 75 132 87 320 102 240

N.S.

1 1.07 0.81 0.64 1.12 0.74 2.71 0.86 2.03

time (sec)

N/A 0.491 0.362 3.404 0.198 0.273 0.193 0.310 2.667

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 102 65 57 98 62 189 76 100

N.S.

1 1.12 0.71 0.63 1.08 0.68 2.08 0.84 1.10

time (sec)

N/A 0.367 0.634 4.272 0.206 0.259 0.124 0.312 1.267

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 59 73 82 68 0 131 159

N.S.

1 1.06 0.94 1.16 1.30 1.08 0.00 2.08 2.52

time (sec)

N/A 0.548 0.132 3.144 0.195 0.279 0.000 0.347 1.624

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 71 67 92 92 0 132 153

N.S.

1 1.00 1.54 1.46 2.00 2.00 0.00 2.87 3.33

time (sec)

N/A 0.524 0.024 4.801 0.213 0.298 0.000 0.372 1.598

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 92 92 130 109 0 141 176

N.S.

1 1.06 1.48 1.48 2.10 1.76 0.00 2.27 2.84

time (sec)

N/A 0.571 0.024 5.638 0.215 0.276 0.000 0.383 1.967

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 97 60 106 162 114 0 205 165

N.S.

1 1.07 0.66 1.16 1.78 1.25 0.00 2.25 1.81

time (sec)

N/A 0.705 0.376 8.119 0.215 0.285 0.000 0.351 4.372

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 127 84 136 218 143 0 254 211

N.S.

1 1.02 0.67 1.09 1.74 1.14 0.00 2.03 1.69

time (sec)

N/A 0.842 0.613 9.635 0.197 0.286 0.000 0.365 5.480

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 206 171 122 296 145 821 196 366

N.S.

1 0.97 0.80 0.57 1.39 0.68 3.85 0.92 1.72

time (sec)

N/A 1.282 1.473 7.818 0.205 0.276 0.412 0.345 2.974

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 184 132 101 236 122 570 160 322

N.S.

1 1.02 0.73 0.56 1.30 0.67 3.15 0.88 1.78

time (sec)

N/A 0.841 1.216 5.354 0.218 0.254 0.292 0.350 2.782

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 131 128 81 190 99 420 129 174

N.S.

1 0.95 0.93 0.59 1.38 0.72 3.04 0.93 1.26

time (sec)

N/A 0.481 0.800 4.486 0.202 0.275 0.203 0.305 1.337

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 128 121 97 153 108 0 235 226

N.S.

1 1.07 1.01 0.81 1.28 0.90 0.00 1.96 1.88

time (sec)

N/A 0.997 1.951 5.479 0.200 0.282 0.000 0.379 1.843

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 127 174 124 151 130 0 198 232

N.S.

1 1.05 1.44 1.02 1.25 1.07 0.00 1.64 1.92

time (sec)

N/A 1.045 3.375 5.510 0.207 0.281 0.000 0.373 1.950

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 128 259 133 192 143 0 204 244

N.S.

1 1.04 2.11 1.08 1.56 1.16 0.00 1.66 1.98

time (sec)

N/A 1.064 4.117 7.010 0.204 0.284 0.000 0.327 2.289

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 142 77 146 224 150 0 250 440

N.S.

1 1.06 0.57 1.09 1.67 1.12 0.00 1.87 3.28

time (sec)

N/A 1.082 1.695 8.598 0.214 0.304 0.000 0.348 2.412

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 174 88 185 316 157 0 290 245

N.S.

1 1.09 0.55 1.16 1.98 0.98 0.00 1.81 1.53

time (sec)

N/A 1.247 1.881 9.241 0.206 0.276 0.000 0.355 5.009

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 202 109 200 360 180 0 341 286

N.S.

1 1.03 0.56 1.02 1.84 0.92 0.00 1.74 1.46

time (sec)

N/A 1.450 2.653 11.275 0.213 0.284 0.000 0.347 2.548

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 260 204 147 425 168 1149 229 410

N.S.

1 0.98 0.77 0.55 1.60 0.63 4.34 0.86 1.55

time (sec)

N/A 1.652 1.033 9.258 0.212 0.276 0.573 0.346 3.144

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 199 171 124 354 145 932 196 366

N.S.

1 0.96 0.83 0.60 1.71 0.70 4.50 0.95 1.77

time (sec)

N/A 0.906 0.564 6.743 0.206 0.272 0.442 0.379 3.119

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 149 148 107 282 122 658 163 322

N.S.

1 0.90 0.89 0.64 1.70 0.73 3.96 0.98 1.94

time (sec)

N/A 0.533 0.849 5.287 0.206 0.269 0.308 0.372 2.922

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 173 147 117 233 131 0 286 242

N.S.

1 1.07 0.91 0.72 1.44 0.81 0.00 1.77 1.49

time (sec)

N/A 1.280 2.245 5.040 0.213 0.290 0.000 0.400 2.188

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 164 227 148 210 156 0 281 290

N.S.

1 1.05 1.46 0.95 1.35 1.00 0.00 1.80 1.86

time (sec)

N/A 1.325 3.636 6.814 0.205 0.290 0.000 0.376 2.156

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 167 256 178 237 165 0 280 319

N.S.

1 0.95 1.46 1.02 1.35 0.94 0.00 1.60 1.82

time (sec)

N/A 1.366 6.027 6.372 0.209 0.275 0.000 0.356 2.621

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 176 354 175 274 168 0 288 541

N.S.

1 1.04 2.09 1.04 1.62 0.99 0.00 1.70 3.20

time (sec)

N/A 1.430 8.196 8.136 0.203 0.294 0.000 0.375 2.881

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 194 98 213 366 173 0 301 636

N.S.

1 1.06 0.54 1.16 2.00 0.95 0.00 1.64 3.48

time (sec)

N/A 1.422 3.477 9.655 0.205 0.288 0.000 0.385 3.408

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 228 109 237 446 180 0 341 292

N.S.

1 1.08 0.51 1.12 2.10 0.85 0.00 1.61 1.38

time (sec)

N/A 1.638 4.738 11.099 0.210 0.278 0.000 0.370 5.089

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 252 132 270 559 203 0 392 337

N.S.

1 1.03 0.54 1.11 2.29 0.83 0.00 1.61 1.38

time (sec)

N/A 1.858 6.496 12.591 0.213 0.276 0.000 0.402 5.061

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 308 237 165 579 191 1640 261 454

N.S.

1 1.01 0.78 0.54 1.90 0.63 5.39 0.86 1.49

time (sec)

N/A 2.029 1.253 12.185 0.224 0.290 0.856 0.387 3.608

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 225 204 147 483 168 1258 229 410

N.S.

1 0.93 0.84 0.60 1.99 0.69 5.18 0.94 1.69

time (sec)

N/A 0.943 0.763 9.125 0.207 0.283 0.592 0.388 3.404

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 173 168 126 400 145 1005 196 334

N.S.

1 0.86 0.84 0.63 2.00 0.72 5.02 0.98 1.67

time (sec)

N/A 0.571 1.182 7.105 0.226 0.274 0.459 0.386 4.622

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 214 182 136 325 154 0 337 1151

N.S.

1 1.10 0.93 0.70 1.67 0.79 0.00 1.73 5.90

time (sec)

N/A 1.573 4.299 7.180 0.231 0.270 0.000 0.362 2.976

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 213 246 167 290 179 0 332 1244

N.S.

1 1.09 1.26 0.85 1.48 0.91 0.00 1.69 6.35

time (sec)

N/A 1.669 8.805 8.173 0.225 0.277 0.000 0.374 3.117

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 214 299 201 296 191 0 347 373

N.S.

1 1.04 1.45 0.98 1.44 0.93 0.00 1.68 1.81

time (sec)

N/A 1.714 9.647 8.006 0.234 0.284 0.000 0.402 3.058

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 223 440 220 320 191 0 347 625

N.S.

1 1.02 2.01 1.00 1.46 0.87 0.00 1.58 2.85

time (sec)

N/A 1.800 12.754 9.306 0.230 0.271 0.000 0.389 3.771

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 233 838 242 416 191 0 339 1342

N.S.

1 1.07 3.86 1.12 1.92 0.88 0.00 1.56 6.18

time (sec)

N/A 1.873 13.058 8.824 0.216 0.299 0.000 0.392 3.554

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 244 117 265 496 196 0 352 995

N.S.

1 1.08 0.52 1.18 2.20 0.87 0.00 1.56 4.42

time (sec)

N/A 1.802 6.028 10.425 0.224 0.287 0.000 0.391 3.132

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 271 130 270 645 203 0 392 338

N.S.

1 1.07 0.51 1.07 2.55 0.80 0.00 1.55 1.34

time (sec)

N/A 2.080 6.488 13.070 0.230 0.275 0.000 0.397 5.084

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 304 149 311 731 226 0 443 381

N.S.

1 1.06 0.52 1.08 2.55 0.79 0.00 1.54 1.33

time (sec)

N/A 2.357 6.975 14.944 0.223 0.275 0.000 0.427 5.284

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 145 393 108 525 134 2688 249 189

N.S.

1 0.83 2.26 0.62 3.02 0.77 15.45 1.43 1.09

time (sec)

N/A 0.731 2.547 2.050 0.305 0.276 2.620 0.329 3.420

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 117 307 87 400 114 1739 207 153

N.S.

1 0.84 2.21 0.63 2.88 0.82 12.51 1.49 1.10

time (sec)

N/A 0.615 2.464 1.824 0.306 0.270 1.640 0.312 2.867

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 109 213 67 273 91 993 138 112

N.S.

1 0.99 1.94 0.61 2.48 0.83 9.03 1.25 1.02

time (sec)

N/A 0.412 1.623 1.814 0.296 0.260 1.105 0.297 1.921

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 56 67 43 165 62 330 88 65

N.S.

1 1.04 1.24 0.80 3.06 1.15 6.11 1.63 1.20

time (sec)

N/A 0.411 0.558 1.696 0.295 0.256 0.717 0.305 1.529

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 52 163 60 146 91 0 92 113

N.S.

1 1.02 3.20 1.18 2.86 1.78 0.00 1.80 2.22

time (sec)

N/A 0.433 1.467 2.787 0.292 0.295 0.000 0.341 1.436

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 72 256 96 218 128 0 121 79

N.S.

1 1.01 3.61 1.35 3.07 1.80 0.00 1.70 1.11

time (sec)

N/A 0.570 2.357 2.630 0.212 0.277 0.000 0.314 1.402

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 107 256 136 356 171 0 174 143

N.S.

1 0.91 2.19 1.16 3.04 1.46 0.00 1.49 1.22

time (sec)

N/A 0.708 3.537 2.380 0.223 0.256 0.000 0.339 1.703

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 127 351 186 485 194 0 243 187

N.S.

1 0.86 2.37 1.26 3.28 1.31 0.00 1.64 1.26

time (sec)

N/A 0.754 6.061 2.797 0.217 0.262 0.000 0.352 1.992

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 169 481 118 487 172 2134 266 202

N.S.

1 0.91 2.60 0.64 2.63 0.93 11.54 1.44 1.09

time (sec)

N/A 0.925 2.778 1.967 0.310 0.251 3.718 0.376 1.716

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 167 385 100 352 153 1261 198 158

N.S.

1 1.04 2.41 0.62 2.20 0.96 7.88 1.24 0.99

time (sec)

N/A 0.716 2.529 1.703 0.293 0.271 2.358 0.301 1.544

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 275 79 235 120 536 151 107

N.S.

1 1.00 2.67 0.77 2.28 1.17 5.20 1.47 1.04

time (sec)

N/A 0.785 1.991 2.041 0.306 0.263 1.464 0.298 1.439

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 75 175 53 164 95 148 116 113

N.S.

1 1.04 2.43 0.74 2.28 1.32 2.06 1.61 1.57

time (sec)

N/A 0.440 0.901 2.077 0.298 0.260 0.864 0.321 1.518

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 84 221 79 190 137 0 144 83

N.S.

1 1.01 2.66 0.95 2.29 1.65 0.00 1.73 1.00

time (sec)

N/A 0.557 1.815 2.157 0.220 0.273 0.000 0.340 1.559

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 116 321 135 287 210 0 186 124

N.S.

1 1.06 2.94 1.24 2.63 1.93 0.00 1.71 1.14

time (sec)

N/A 0.861 2.941 2.502 0.226 0.279 0.000 0.351 1.384

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 161 578 176 431 252 0 235 191

N.S.

1 0.98 3.50 1.07 2.61 1.53 0.00 1.42 1.16

time (sec)

N/A 1.030 8.460 2.867 0.236 0.269 0.000 0.365 1.540

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 181 763 217 567 272 0 303 218

N.S.

1 0.93 3.93 1.12 2.92 1.40 0.00 1.56 1.12

time (sec)

N/A 1.101 8.598 2.652 0.220 0.272 0.000 0.347 1.525

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 229 663 138 547 229 2373 320 259

N.S.

1 0.97 2.80 0.58 2.31 0.97 10.01 1.35 1.09

time (sec)

N/A 1.299 4.909 2.301 0.305 0.280 7.618 0.323 1.470

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 220 565 118 411 211 1445 252 214

N.S.

1 1.06 2.73 0.57 1.99 1.02 6.98 1.22 1.03

time (sec)

N/A 1.046 3.297 2.213 0.293 0.271 4.970 0.325 1.420

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 158 423 97 295 173 665 203 162

N.S.

1 1.04 2.78 0.64 1.94 1.14 4.38 1.34 1.07

time (sec)

N/A 1.159 3.023 1.826 0.301 0.265 3.173 0.330 1.527

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 132 289 73 205 146 192 153 160

N.S.

1 1.07 2.35 0.59 1.67 1.19 1.56 1.24 1.30

time (sec)

N/A 0.824 2.217 1.900 0.313 0.255 1.878 0.317 1.570

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 111 164 64 179 102 180 115 73

N.S.

1 1.02 1.50 0.59 1.64 0.94 1.65 1.06 0.67

time (sec)

N/A 0.490 1.022 1.904 0.226 0.247 1.312 0.373 1.374

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 134 276 99 232 193 0 180 134

N.S.

1 1.08 2.23 0.80 1.87 1.56 0.00 1.45 1.08

time (sec)

N/A 0.823 2.749 2.303 0.233 0.264 0.000 0.372 1.603

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 166 839 155 350 279 0 239 177

N.S.

1 1.11 5.59 1.03 2.33 1.86 0.00 1.59 1.18

time (sec)

N/A 1.200 7.412 2.414 0.229 0.260 0.000 0.339 1.357

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 214 206 199 493 328 0 288 248

N.S.

1 1.02 0.98 0.95 2.35 1.56 0.00 1.37 1.18

time (sec)

N/A 1.397 3.962 2.898 0.231 0.285 0.000 0.361 1.296

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 238 270 241 630 346 0 356 274

N.S.

1 0.97 1.10 0.98 2.56 1.41 0.00 1.45 1.11

time (sec)

N/A 1.484 3.515 2.852 0.233 0.271 0.000 0.360 1.327

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 267 299 138 474 265 1624 302 283

N.S.

1 1.09 1.22 0.56 1.93 1.08 6.63 1.23 1.16

time (sec)

N/A 1.359 8.945 2.105 0.316 0.294 10.394 0.401 1.578

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 211 571 118 356 223 746 255 248

N.S.

1 1.08 2.93 0.61 1.83 1.14 3.83 1.31 1.27

time (sec)

N/A 1.557 7.184 1.913 0.298 0.291 6.699 0.387 1.468

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 183 405 97 286 191 279 220 229

N.S.

1 1.12 2.47 0.59 1.74 1.16 1.70 1.34 1.40

time (sec)

N/A 1.176 6.970 1.788 0.293 0.259 4.160 0.365 1.810

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 159 239 86 259 135 267 171 99

N.S.

1 1.07 1.61 0.58 1.75 0.91 1.80 1.16 0.67

time (sec)

N/A 0.922 2.955 1.996 0.217 0.270 2.917 0.381 1.584

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 144 208 90 259 135 264 171 99

N.S.

1 0.97 1.41 0.61 1.75 0.91 1.78 1.16 0.67

time (sec)

N/A 0.602 1.716 1.747 0.219 0.245 2.098 0.325 1.298

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 177 334 123 313 248 0 248 199

N.S.

1 1.13 2.13 0.78 1.99 1.58 0.00 1.58 1.27

time (sec)

N/A 1.091 4.499 1.989 0.219 0.271 0.000 0.402 1.238

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 209 1190 178 411 348 0 290 252

N.S.

1 1.13 6.43 0.96 2.22 1.88 0.00 1.57 1.36

time (sec)

N/A 1.521 8.743 2.819 0.231 0.276 0.000 0.368 1.405

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 260 271 216 556 402 0 339 318

N.S.

1 1.05 1.09 0.87 2.24 1.62 0.00 1.37 1.28

time (sec)

N/A 1.800 5.744 3.194 0.227 0.277 0.000 0.395 1.619

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 304 257 690 422 0 407 345

N.S.

1 1.00 1.06 0.90 2.40 1.47 0.00 1.42 1.20

time (sec)

N/A 1.889 4.723 2.873 0.233 0.285 0.000 0.404 1.450

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 241 145 152 237 128 0 275 0

N.S.

1 1.01 0.61 0.64 0.99 0.54 0.00 1.15 0.00

time (sec)

N/A 1.235 1.145 6.286 0.433 0.281 0.000 1.779 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 200 114 130 194 108 0 223 0

N.S.

1 1.04 0.59 0.67 1.01 0.56 0.00 1.16 0.00

time (sec)

N/A 1.010 0.597 6.612 0.420 0.265 0.000 0.767 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 165 86 108 152 87 0 173 0

N.S.

1 1.12 0.59 0.73 1.03 0.59 0.00 1.18 0.00

time (sec)

N/A 0.893 0.347 6.622 0.410 0.288 0.000 0.459 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 115 67 86 106 67 0 120 0

N.S.

1 1.11 0.64 0.83 1.02 0.64 0.00 1.15 0.00

time (sec)

N/A 0.500 0.197 6.439 0.391 0.266 0.000 0.370 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 84 274 57 142 0 136 0

N.S.

1 1.08 0.84 2.74 0.57 1.42 0.00 1.36 0.00

time (sec)

N/A 0.636 0.220 9.472 0.352 0.270 0.000 0.358 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 109 95 610 731 163 0 144 0

N.S.

1 1.11 0.97 6.22 7.46 1.66 0.00 1.47 0.00

time (sec)

N/A 0.667 0.308 10.855 0.399 0.320 0.000 0.368 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 121 111 1118 3352 184 0 208 0

N.S.

1 1.03 0.95 9.56 28.65 1.57 0.00 1.78 0.00

time (sec)

N/A 0.711 0.588 12.830 3.114 0.341 0.000 0.381 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 138 1665 5728 206 0 327 0

N.S.

1 1.00 0.85 10.21 35.14 1.26 0.00 2.01 0.00

time (sec)

N/A 0.903 1.232 14.496 3.281 0.331 0.000 0.404 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

209 204 173 2179 0 226 0 399 0

N.S.

1 0.98 0.83 10.43 0.00 1.08 0.00 1.91 0.00

time (sec)

N/A 1.072 2.065 16.909 0.000 0.422 0.000 0.433 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 257 145 154 252 137 0 291 0

N.S.

1 1.06 0.60 0.63 1.04 0.56 0.00 1.20 0.00

time (sec)

N/A 1.429 1.167 7.437 0.484 0.282 0.000 2.887 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 201 113 132 205 115 0 237 0

N.S.

1 1.07 0.60 0.71 1.10 0.61 0.00 1.27 0.00

time (sec)

N/A 1.076 0.633 6.273 0.445 0.266 0.000 1.121 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 149 87 110 159 93 0 183 0

N.S.

1 1.03 0.60 0.76 1.10 0.65 0.00 1.27 0.00

time (sec)

N/A 0.645 0.372 6.263 0.421 0.278 0.000 0.535 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 155 105 331 93 170 0 213 0

N.S.

1 1.09 0.74 2.33 0.65 1.20 0.00 1.50 0.00

time (sec)

N/A 0.913 0.471 9.663 0.401 0.262 0.000 0.693 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 158 118 661 1354 192 0 197 0

N.S.

1 1.10 0.82 4.59 9.40 1.33 0.00 1.37 0.00

time (sec)

N/A 0.976 0.544 11.335 0.442 0.301 0.000 0.657 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 167 127 1154 3339 200 0 239 0

N.S.

1 1.05 0.80 7.26 21.00 1.26 0.00 1.50 0.00

time (sec)

N/A 1.045 0.822 13.316 0.533 0.338 0.000 0.690 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

165 175 139 1668 8879 211 0 339 0

N.S.

1 1.06 0.84 10.11 53.81 1.28 0.00 2.05 0.00

time (sec)

N/A 1.055 1.358 14.570 155.513 0.350 0.000 0.685 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 220 174 2180 12526 232 0 414 0

N.S.

1 1.02 0.81 10.14 58.26 1.08 0.00 1.93 0.00

time (sec)

N/A 1.252 3.660 17.173 156.084 0.411 0.000 0.826 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

263 261 208 2683 0 253 0 489 0

N.S.

1 0.99 0.79 10.20 0.00 0.96 0.00 1.86 0.00

time (sec)

N/A 1.504 3.435 16.991 0.000 0.414 0.000 0.849 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 310 180 176 332 172 0 381 0

N.S.

1 1.05 0.61 0.60 1.13 0.59 0.00 1.30 0.00

time (sec)

N/A 1.826 1.535 36.079 0.486 0.291 0.000 11.591 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 237 147 154 282 148 0 321 0

N.S.

1 1.03 0.64 0.67 1.23 0.65 0.00 1.40 0.00

time (sec)

N/A 1.221 1.116 14.620 0.459 0.266 0.000 3.730 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 183 114 132 230 124 0 261 0

N.S.

1 0.99 0.62 0.72 1.25 0.67 0.00 1.42 0.00

time (sec)

N/A 0.769 0.686 8.865 0.437 0.263 0.000 1.286 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 200 127 370 139 203 0 308 0

N.S.

1 1.10 0.70 2.03 0.76 1.12 0.00 1.69 0.00

time (sec)

N/A 1.234 0.795 16.941 0.390 0.266 0.000 1.626 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 203 145 756 8175 225 0 288 0

N.S.

1 1.10 0.79 4.11 44.43 1.22 0.00 1.57 0.00

time (sec)

N/A 1.296 0.866 22.626 0.675 0.278 0.000 1.745 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 212 153 1244 11782 232 0 307 0

N.S.

1 1.07 0.77 6.25 59.21 1.17 0.00 1.54 0.00

time (sec)

N/A 1.354 1.135 68.248 3.508 0.333 0.000 1.902 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

207 220 156 1724 16106 235 0 388 0

N.S.

1 1.06 0.75 8.33 77.81 1.14 0.00 1.87 0.00

time (sec)

N/A 1.442 1.621 193.763 3.870 0.329 0.000 2.323 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 230 176 2399 0 244 0 444 0

N.S.

1 1.07 0.82 11.16 0.00 1.13 0.00 2.07 0.00

time (sec)

N/A 1.418 2.066 4.598 0.000 0.408 0.000 2.322 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 271 210 2879 0 267 0 525 0

N.S.

1 1.04 0.80 11.03 0.00 1.02 0.00 2.01 0.00

time (sec)

N/A 1.620 3.014 5.547 0.000 0.402 0.000 2.406 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

311 311 242 3358 0 290 0 606 0

N.S.

1 1.00 0.78 10.80 0.00 0.93 0.00 1.95 0.00

time (sec)

N/A 1.909 4.198 6.145 0.000 0.397 0.000 2.590 0.000

[next] [prev] [prev-tail] [front] [up]